81. Logic, Language and Reasoning
پدیدآورنده: edited by Hans Jürgen Ohlbach, Uwe Reyle.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra-- Data processing.,Artificial intelligence.,Computational linguistics.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
82. Logic and its applications :
پدیدآورنده: Md. Aquil Khan, Amaldev Manuel (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic, Symbolic and mathematical, Congresses.,Logic, Symbolic and mathematical.
رده :
QA9
.
A1
I24
2019eb
83. Logical Thinking in the Pyramidal Schema of Concepts
پدیدآورنده: / Lutz Geldsetzer, Richard L. Schwartz
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical,Mathematics, Philosophy,Philosophy (General),Logic,Computer science,منطق ریاضی,ریاضیات -- فلسفه
رده :
QA9
.
G325
2013
84. Logical syntax of language /
پدیدآورنده: Rudolf Carnap.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Grammar, Comparative and general-- Syntax.,Logic, Symbolic and mathematical.,Logical positivism.,Grammar, Comparative and general-- Syntax.,Logic, Symbolic and mathematical.,Logical positivism.
رده :
BC135
.
C323
2001eb
85. Mathematical Epistemology and Psychology.
پدیدآورنده: Beth, E.W.; Piaget, J.; Mays, W.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic machines.,Logic, Symbolic and mathematical.,Mathematics -- Philosophy.
86. Mathematical Thought :
پدیدآورنده: by Evert W. Beth.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Philosophy (General),Science -- Philosophy.
رده :
QA9
.
B948
1965
87. Mathematics and the natural sciences :
پدیدآورنده: Francis Bailly, Giuseppe Longo
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Biomathematics,Mathematical models,Mathematics-- Philosophy,Physics-- Philosophy,Space and time
88. Mathematics of Ramsey Theory
پدیدآورنده: edited by Jaroslav Nešetřil, Vojtěch Rödl.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Combinatorial analysis.,Logic, Symbolic and mathematical.,Mathematics.
89. Metamathematics of Fuzzy Logic
پدیدآورنده: by Petr Hájek.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
90. Modern Buddhist cultures -- The cultural practices of Buddhist modernity -- Shanghai Buddhism -- Vegetarian identities --
پدیدآورنده: Francesca Tarocco.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
91. Multi-Dimensional Modal Logic
پدیدآورنده: by Maarten Marx, Yde Venema.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational linguistics.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
92. Nominalistic Systems
پدیدآورنده: by Rolf A. Eberle.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Philosophy (General),Science -- Philosophy.
رده :
B731
.
B976
1970
93. Philosophical Logic and Artificial Intelligence
پدیدآورنده: edited by Richmond H. Thomason.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Logic.,Philosophy (General)
رده :
BC71
.
E358
1989
94. Philosophical grammar /
پدیدآورنده: Ludwig Wittgenstein ; edited by Rush Rhees ; translated by Anthony Kenny.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Grammar, Comparative and general.,Inference.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.
95. Philosophical grammar
پدیدآورنده: Wittgenstein, Ludwig
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع: ، Grammar, Comparative and general,، Logic, Symbolic and mathematical,، Inference,Philosophy ، Mathematics
رده :
B3376
.
W563
P52613
1974
96. Philosophical grammar
پدیدآورنده: Ludwig Wittgenstein
کتابخانه: كتابخانه دانشكده ادبیات و علوم انسانی دانشگاه كاشان (اصفهان)
موضوع: Wittgenstein, Ludwig, 1889 - 1951,Grammar, Comparative and general,Logic, Symbolic and mathematical,Inference,Mathematics, Philosophy
رده :
193
W831PR
97. Philosophikē grammatikē /
پدیدآورنده: Ludwig Wittgenstein ; eisagōgē, metaphrasē, scholia: Kōstēs Kōvaios.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Grammar, Comparative and general.,Inference.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Grammar, Comparative and general.,Inference.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.
98. Philosophische Grammatik. Hrsg. von Rush Rhees.
پدیدآورنده: Wittgenstein
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Grammar, Comparative and general.,Logic, Symbolic and mathematical,Inference(Logic),Mathematics -- Philosophy.
رده :
B
3376
.
W56P526
1969
99. Philosophische Grammatik. Hrsg. von Rush Rhees
پدیدآورنده: Wittgenstein
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Grammar, Comparative and general,Logic, Symbolic and mathematical,Inference (Logic),Mathematics--Philosophy
رده :
B
3376
.
W563P526
1969